#!/bin/bash
# $@ means all arguments provided to the script
grep "$@" $HOME/.ALLFILES
